-- Test wrong ending
    DEF def7(X:nat, Y:nat):nat == ^	
    DEF def6(X:nat, Y:nat):nat == *	
    DEF def5(X:nat, Y:nat):nat == 0 *	
    DEF def4(X:nat, Y:nat):nat == 0 -	
    DEF def3(X:nat, Y:nat):nat == s	
    DEF def2(X:nat, Y:nat):nat == 0,	
    DEF def1(X:nat, Y:nat):nat == 0 ;	

    DEF MAIN:bool == true
